SherbyNet - /page/wikibook/entry.mu

Micron Document

<!DOCTYPE html>

<title>Reversible computing</title>

</head>

Reversible computing

</h1>

</header>

Reversible computing is any <a href="Model_of_computation" title="Model of computation">model of computation</a> where every step of the <a href="Computational_process" class="mw-redirect" title="Computational process">process</a> is <a href="Time-reversible" class="mw-redirect" title="Time-reversible">time-reversible</a>. This means that, given the output of a computation, it is possible to perfectly reconstruct the input. In systems that <a href="Transition_system" title="Transition system">progress</a> <a href="Deterministic_system" title="Deterministic system">deterministically</a> from one state to another, a key requirement for reversibility is a <a href="Injective_function" title="Injective function">one-to-one</a> <a href="Binary_relation" title="Binary relation">correspondence</a> between each state and its successor. Reversible computing is considered an unconventional approach to computation and is closely linked to <a href="Quantum_computing" title="Quantum computing">quantum computing</a>, where the principles of quantum mechanics inherently ensure reversibility (as long as <a href="Quantum_state" title="Quantum state">quantum states</a> are not measured or "<a href="Wave_function_collapse" title="Wave function collapse">collapsed</a>").<a href="#cite_note-Williams-1">[1]</a>

<div class="mw-heading mw-heading2"><h2 id="Reversibility">Reversibility</h2></div>

There are two major, closely related types of reversibility that are of particular interest for this purpose: <a href="Reversible_process_(thermodynamics)" title="Reversible process (thermodynamics)">physical reversibility</a> and logical reversibility.<a href="#cite_note-2">[2]</a>

A process is said to be physically reversible if it results in no increase in physical <a href="Entropy" title="Entropy">entropy</a>; it is <a href="Isentropic" class="mw-redirect" title="Isentropic">isentropic</a>. There is a style of circuit design ideally exhibiting this property that is referred to as charge recovery logic, <a href="Adiabatic_circuit" title="Adiabatic circuit">adiabatic circuits</a>, or adiabatic computing (see <a href="Adiabatic_process" title="Adiabatic process">Adiabatic process</a>). Although in practice no nonstationary physical process can be exactly physically reversible or isentropic, there is no known limit to the closeness with which we can approach perfect reversibility, in systems that are sufficiently well isolated from interactions with unknown external environments, when the <a href="Physics" title="Physics">laws of physics</a> describing the system's evolution are precisely known.

A motivation for the study of technologies aimed at implementing reversible computing is that they offer what is predicted to be the only potential way to improve the computational <a href="Efficient_energy_use" title="Efficient energy use">energy efficiency</a> (i.e., useful operations performed per unit energy dissipated) of computers beyond the fundamental <a href="Von_Neumann-Landauer_limit" class="mw-redirect" title="Von Neumann-Landauer limit">von Neumann–Landauer limit</a><a href="#cite_note-landauer-3">[3]</a><a href="#cite_note-neumann-4">[4]</a> of <a href="KT_(energy)" title="KT (energy)">kT</a> ln(2) energy dissipated per irreversible <a href="Bit_operation" class="mw-redirect" title="Bit operation">bit operation</a>. Although the Landauer limit was millions of times below the energy consumption of computers in the 2000s and thousands of times less in the 2010s,<a href="#cite_note-5">[5]</a> proponents of reversible computing argue that this can be attributed largely to architectural overheads which effectively magnify the impact of Landauer's limit in practical circuit designs, so that it may prove difficult for practical technology to progress very far beyond current levels of energy efficiency if reversible computing principles are not used.<a href="#cite_note-6">[6]</a>

<div class="mw-heading mw-heading2"><h2 id="Relation_to_thermodynamics">Relation to thermodynamics</h2></div>

As was first argued by <a href="Rolf_Landauer" title="Rolf Landauer">Rolf Landauer</a> while working at <a href="IBM" title="IBM">IBM</a>,<a href="#cite_note-7">[7]</a> in order for a computational process to be physically reversible, it must also be logically reversible. <a href="Landauer's_principle" title="Landauer's principle">Landauer's principle</a> is the observation that the oblivious erasure of n bits of known information must always incur a cost of nkT ln(2) in thermodynamic <a href="Entropy" title="Entropy">entropy</a>. A discrete, deterministic computational process is said to be logically reversible if the transition function that maps old computational states to new ones is a <a href="One-to-one_function" class="mw-redirect" title="One-to-one function">one-to-one function</a>; i.e. the output logical states uniquely determine the input logical states of the computational operation.

For computational processes that are nondeterministic (in the sense of being probabilistic or random), the relation between old and new states is not a <a href="Single-valued_function" class="mw-redirect" title="Single-valued function">single-valued function</a>, and the requirement needed to obtain physical reversibility becomes a slightly weaker condition, namely that the size of a given ensemble of possible initial computational states does not decrease, on average, as the computation proceeds forwards.

<div class="mw-heading mw-heading2"><h2 id="Physical_reversibility">Physical reversibility</h2></div>

Landauer's principle (and indeed, the <a href="Second_law_of_thermodynamics" title="Second law of thermodynamics">second law of thermodynamics</a>) can also be understood to be a direct <a href="Logical_consequence" title="Logical consequence">logical consequence</a> of the underlying <a href="CPT_symmetry" title="CPT symmetry">reversibility of physics</a>, as is reflected in the <a href="Hamiltonian_mechanics" title="Hamiltonian mechanics">general Hamiltonian formulation of mechanics</a>, and in the <a href="Time_evolution" title="Time evolution">unitary time-evolution operator</a> of <a href="Quantum_mechanics" title="Quantum mechanics">quantum mechanics</a> more specifically.<a href="#cite_note-8">[8]</a>

The implementation of reversible computing thus amounts to learning how to characterize and control the physical dynamics of mechanisms to carry out desired computational operations so precisely that the experiment accumulates a negligible total amount of uncertainty regarding the complete physical state of the mechanism, per each logic operation that is performed. In other words, precisely track the state of the active energy that is involved in carrying out computational operations within the machine, and design the machine so that the majority of this energy is recovered in an organized form that can be reused for subsequent operations, rather than being permitted to dissipate into the form of heat.

Although achieving this goal presents a significant challenge for the design, manufacturing, and characterization of ultra-precise new physical mechanisms for <a href="Computing" title="Computing">computing</a>, there is at present no fundamental reason to think that this goal cannot eventually be accomplished, allowing someday to build computers that generate much less than 1 bit's worth of physical entropy (and dissipate much less than kT ln 2 energy to heat) for each useful logical operation that they carry out internally.

Today, the field has a substantial body of academic literature. A wide variety of reversible device concepts, <a href="Logic_gate" title="Logic gate">logic gates</a>, <a href="Electronic_circuit" title="Electronic circuit">electronic circuits</a>, processor architectures, <a href="Programming_language" title="Programming language">programming languages</a>, and application <a href="Algorithm" title="Algorithm">algorithms</a> have been designed and analyzed by <a href="Physicist" title="Physicist">physicists</a>, <a href="Electrical_engineer" class="mw-redirect" title="Electrical engineer">electrical engineers</a>, and <a href="Computer_scientist" title="Computer scientist">computer scientists</a>.

This field of research awaits the detailed development of a high-quality, cost-effective, nearly reversible logic device technology, one that includes highly energy-efficient <a href="Clocking" class="mw-redirect" title="Clocking">clocking</a> and <a href="Synchronization" title="Synchronization">synchronization</a> mechanisms, or avoids the need for these through asynchronous design. This sort of solid engineering progress will be needed before the large body of theoretical research on reversible computing can find practical application in enabling real computer technology to circumvent the various near-term barriers to its energy efficiency, including the von Neumann–Landauer bound. This may only be circumvented by the use of logically reversible computing, due to the <a href="Second_law_of_thermodynamics" title="Second law of thermodynamics">second law of thermodynamics</a>.<a href="#cite_note-9">[9]</a>

<div class="mw-heading mw-heading2"><h2 id="Logical_reversibility">Logical reversibility</h2></div>

For a computational operation to be logically reversible means that the output (or final state) of the operation can be computed from the input (or initial state), and vice versa. Reversible functions are <a href="Bijection" title="Bijection">bijective</a>. This means that reversible gates (and <a href="Circuit_(computer_science)" title="Circuit (computer science)">circuits</a>, i.e. compositions of multiple gates) generally have the same number of input bits as output bits (assuming that all input bits are consumed by the operation, and that all input/output states are possible).

An <a href="Inverter_(logic_gate)" title="Inverter (logic gate)">inverter</a> (NOT) gate is logically reversible because it can be undone. The NOT gate may however not be physically reversible, depending on its implementation.

The <a href="Exclusive_or" title="Exclusive or">exclusive or</a> (XOR) gate is irreversible because its two inputs cannot be unambiguously reconstructed from its single output, or alternatively, because information erasure is not reversible. However, a reversible version of the XOR gate—the <a href="Controlled_NOT_gate" title="Controlled NOT gate">controlled NOT gate</a> (CNOT)—can be defined by preserving one of the inputs as a 2nd output. The three-input variant of the CNOT gate is called the <a href="Toffoli_gate" title="Toffoli gate">Toffoli gate</a>. It preserves two of its inputs a,b and replaces the third c by <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle c\oplus (a\cdot b)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle c\oplus (a\cdot b)}</annotation>

</semantics>

</math><img src="./037edb91903df4cf6d1798f7998c3d69506afb36.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.563ex; height:2.843ex;" alt="{\displaystyle c\oplus (a\cdot b)}" loading="lazy">. With <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle c=0}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle c=0}</annotation>

</semantics>

</math><img src="./d9ee918699d0cb4b8c633cc1f520a8a7a174f44a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.268ex; height:2.176ex;" alt="{\displaystyle c=0}" loading="lazy">, this gives the AND function, and with <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle a\cdot b=1}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle a\cdot b=1}</annotation>

</semantics>

</math><img src="./943794bd7ed5a52298d3c7e44eceea37724e2d1b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:8.167ex; height:2.176ex;" alt="{\displaystyle a\cdot b=1}" loading="lazy"> this gives the NOT function. Because AND and NOT together is a <a href="Functional_completeness" title="Functional completeness">functionally complete</a> set, the Toffoli gate is universal and can implement any <a href="Boolean_function" title="Boolean function">Boolean function</a> (if given enough initialized <a href="Ancilla_bit" title="Ancilla bit">ancilla bits</a>).

Surveys of reversible circuits, their construction and optimization, as well as recent research challenges, are available.<a href="#cite_note-10">[10]</a><a href="#cite_note-11">[11]</a><a href="#cite_note-12">[12]</a><a href="#cite_note-13">[13]</a><a href="#cite_note-14">[14]</a>

<div class="mw-heading mw-heading2"><h2 id="Reversible_Turing_Machines_(RTMs)">Reversible Turing Machines (RTMs)</h2></div>

The Reversible Turing Machine (RTM) is a foundational model in reversible computing. An RTM is defined as a <a href="Turing_machine" title="Turing machine">Turing machine</a> whose transition function is invertible, ensuring that each machine configuration (state and tape content) has at most one predecessor configuration. This guarantees backward determinism, allowing the computation history to be traced uniquely.<a href="#cite_note-15">[15]</a>

Formal definitions of RTMs have evolved over the last decades. While early definitions focused on invertible transition functions, more general formulations allow for bounded head movement and cell modification per step. This generalization ensures that the set of RTMs is closed under composition (executing one RTM after another results in another RTM) and inversion (the inverse of an RTM is also an RTM), forming a group structure for reversible computations.<a href="#cite_note-16">[16]</a> This contrasts with some classical TM definitions where composition might not yield a machine of the same class.<a href="#cite_note-17">[17]</a> The dynamics of an RTM can be described by a global transition function that maps configurations based on a local rule.<a href="#cite_note-18">[18]</a>

<a href="https://fr.wikipedia.org/wiki/Yves_Lecerf" class="extiw external" title="fr:Yves Lecerf">Yves Lecerf</a> proposed a reversible Turing machine in a 1963 paper,<a href="#cite_note-19">[19]</a> but apparently unaware of Landauer's principle, did not pursue the subject further, devoting most of the rest of his career to ethnolinguistics.

A landmark result by <a href="Charles_H._Bennett_(physicist)" title="Charles H. Bennett (physicist)">Charles H. Bennett</a> in 1973 demonstrated that any standard Turing machine can be simulated by a reversible one.<a href="#cite_note-20">[20]</a> Bennett's construction involves augmenting the TM with an auxiliary "history tape". The simulation proceeds in three stages:<a href="#cite_note-21">[21]</a>

<ol><li>Compute: The original TM's computation is simulated, and a record of every transition rule applied is written onto the history tape.</li>

<li>Copy Output: The final result on the work tape is copied to a separate, initially blank output tape. This copy operation itself must be done reversibly (e.g., using CNOT gates).</li>

<li>Uncompute: The simulation runs in reverse, using the history tape to undo each step of the forward computation. This process erases the work tape and the history tape, returning them to their initial blank state, leaving only the original input (preserved on its tape) and the final output on the output tape.</li></ol>

This construction proves that RTMs are computationally equivalent to standard TMs in terms of the functions they can compute, establishing that reversibility does not limit computational power in this regard.<a href="#cite_note-22">[22]</a> However, this standard simulation technique comes at a cost. The history tape can grow linearly with the computation time, leading to a potentially large space overhead, often expressed as <code>S'(n) = O(S(n)T(n))</code> where S and T are the space and time of the original computation.<a href="#cite_note-23">[23]</a> Furthermore, history-based approaches face challenges with local compositionality; combining two independently reversibilized computations using this method is not straightforward.<a href="#cite_note-24">[24]</a> This indicates that while theoretically powerful, Bennett's original construction is not necessarily the most practical or efficient way to achieve reversible computation, motivating the search for methods that avoid accumulating large amounts of "garbage" history.<a href="#cite_note-25">[25]</a>

RTMs compute precisely the set of injective (one-to-one) computable functions.<a href="#cite_note-26">[26]</a> They are not strictly universal in the classical sense because they cannot directly compute non-injective functions (which inherently lose information). However, they possess a form of universality termed "RTM-universality" and are capable of self-interpretation.<a href="#cite_note-27">[27]</a>

<div class="mw-heading mw-heading2"><h2 id="Commercialization">Commercialization</h2></div>

<a href="London" title="London">London</a>-based Vaire Computing is prototyping a chip in 2025, for release in 2027.<a href="#cite_note-28">[28]</a>

/* start https://en.wikipedia.org/ */

.mw-parser-output .div-col{margin-top:0.3em;column-width:30em}.mw-parser-output .div-col-small{font-size:90%}.mw-parser-output .div-col-rules{column-rule:1px solid #aaa}.mw-parser-output .div-col dl,.mw-parser-output .div-col ol,.mw-parser-output .div-col ul{margin-top:0}.mw-parser-output .div-col li,.mw-parser-output .div-col dd{page-break-inside:avoid;break-inside:avoid-column}

/* end https://en.wikipedia.org/ */

</style><div class="div-col" style="column-width: 26em;">

<ul><li><a href="Adiabatic_circuit" title="Adiabatic circuit">Adiabatic circuit</a> – Low-power electronic circuits which use reversible logic to conserve energy</li>

<li><a href="Bidirectional_transformation" title="Bidirectional transformation">Bidirectional transformation</a> – Computer programs able to produce inputs from outputs</li>

<li><a href="Billiard-ball_computer" title="Billiard-ball computer">Billiard-ball computer</a> – Type of conservative logic circuit</li>

<li><a href="Fredkin_gate" title="Fredkin gate">Fredkin gate</a> – Universal reversible logic gate, applied in quantum computing</li>

<li><a href="Generalized_lifting" class="mw-redirect" title="Generalized lifting">Generalized lifting</a> – Technique for wavelet analysisPages displaying short descriptions of redirect targets</li>

<li><a href="Janus_(time-reversible_computing_programming_language)" title="Janus (time-reversible computing programming language)">Janus (time-reversible computing programming language)</a></li>

<li><a href="Maximum_entropy_thermodynamics" title="Maximum entropy thermodynamics">Maximum entropy thermodynamics</a> – Application of information theory to thermodynamics and statistical mechanics, on the uncertainty interpretation of the second law of thermodynamics</li>

<li><a href="Maxwell's_demon" title="Maxwell's demon">Maxwell's demon</a> – Thought experiment of 1867</li>

<li><a href="Reverse_computation" title="Reverse computation">Reverse computation</a></li>

<li><a href="Reversible_cellular_automaton" title="Reversible cellular automaton">Reversible cellular automaton</a> – Cellular automaton that can be run backwards</li>

<li><a href="Reversible_dynamics" class="mw-redirect" title="Reversible dynamics">Reversible dynamics</a> – Type of physical or mathematical propertyPages displaying short descriptions of redirect targets</li>

<li><a href="Reversible_process_(thermodynamics)" title="Reversible process (thermodynamics)">Reversible process (thermodynamics)</a> – Process whose direction can be reversed</li>

<li><a href="Quantum_computing" title="Quantum computing">Quantum computing</a> – Computer hardware technology that uses quantum mechanics</li>

<li><a href="Quantum_dot_cellular_automaton" title="Quantum dot cellular automaton">Quantum dot cellular automaton</a> – Type of cellular automaton, a variant of reversible cellular automata</li>

<li><a href="Toffoli_gate" title="Toffoli gate">Toffoli gate</a> – Universal reversible logic gate, applied in quantum computing</li>

<li><a href="Superconducting_quantum_computing" title="Superconducting quantum computing">Superconducting quantum computing</a> – Quantum computing implementation</li>

<li><a href="Uncomputation" title="Uncomputation">Uncomputation</a> – Quantum computing technique</li>

<li><a href="Unconventional_computing" title="Unconventional computing">Unconventional computing</a> – Computing by new or unusual methods</li></ul>

</div>

<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}

/* end https://en.wikipedia.org/ */

</style><div class="reflist">

/* start https://en.wikipedia.org/ */

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}

/* end https://en.wikipedia.org/ */

</style><cite id="CITEREFWilliams2011" class="citation book cs1">Williams, Colin P. (2011). Explorations in Quantum Computing. <a href="Springer_Science%2BBusiness_Media" title="Springer Science+Business Media">Springer</a>. pp. 25–29. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-1-84628-887-6</bdi>.</cite>

</li>

<li id="cite_note-2"><a href="#cite_ref-2">^</a> <cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www.cise.ufl.edu/research/revcomp/">"The Reversible and Quantum Computing Group (Revcomp)"</a>.</cite>

</li>

<li id="cite_note-landauer-3"><a href="#cite_ref-landauer_3-0">^</a> <cite id="CITEREFLandauer1961" class="citation cs2">Landauer, Rolf (1961), <a rel="nofollow" class="external text" href="http://worrydream.com/refs/Landauer%20-%20Irreversibility%20and%20Heat%20Generation%20in%20the%20Computing%20Process.pdf">"Irreversibility and heat generation in the computing process"</a> (PDF), IBM Journal of Research and Development, 5 (3): 183–191, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1147%2Frd.53.0183">10.1147/rd.53.0183</a>, retrieved 2015-02-18, <q>The entropy of a closed system, e.g., a computer with its own batteries, cannot decrease; hence this entropy must appear elsewhere as a heating effect, supplying 0.6931 kT per restored bit to the surroundings.</q></cite>

</li>

<li id="cite_note-neumann-4"><a href="#cite_ref-neumann_4-0">^</a> <cite id="CITEREFJ._von_Neumann1966" class="citation book cs1"><a href="John_von_Neumann" title="John von Neumann">J. von Neumann</a> (1966). <a rel="nofollow" class="external text" href="https://archive.org/details/theoryofselfrepr00vonn_0">Theory of self-reproducing automata</a>. University of Illinois Press. Retrieved 2022-05-21.</cite> Third lecture: Statistical Theories about Information

</li>

<li id="cite_note-5"><a href="#cite_ref-5">^</a> <cite id="CITEREFBérutArakelyanPetrosyanCiliberto2012" class="citation journal cs1">Bérut, Antoine; Arakelyan, Artak; Petrosyan, Artyom; Ciliberto, Sergio; Dillenschneider, Raoul; Lutz, Eric (March 2012). "Experimental verification of Landauer's principle linking information and thermodynamics". Nature. 483 (7388): 187–189. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1503.06537">1503.06537</a>. <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2012Natur.483..187B">2012Natur.483..187B</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1038%2Fnature10872">10.1038/nature10872</a>. <a href="PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/22398556">22398556</a>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:9415026">9415026</a>.</cite>

</li>

<li id="cite_note-6"><a href="#cite_ref-6">^</a> Michael P. Frank. Foundations of Generalized Reversible Computing. Conference on Reversible Computation, July 6–7, 2017, Kolkata, India. <a href="https://doi.org/10.1007/978-3-319-59936-6_2" class="extiw external" title="doi:10.1007/978-3-319-59936-6 2">doi:10.1007/978-3-319-59936-6 2</a> Preprint available at <a rel="nofollow" class="external free" href="https://www.osti.gov/servlets/purl/1456440">https://www.osti.gov/servlets/purl/1456440</a> (PDF).

</li>

<li id="cite_note-7"><a href="#cite_ref-7">^</a> <cite id="CITEREFLandauer1961" class="citation journal cs1">Landauer, R. (July 1961). "Irreversibility and Heat Generation in the Computing Process". IBM Journal of Research and Development. 5 (3): 183–191. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1147%2Frd.53.0183">10.1147/rd.53.0183</a>.</cite>

</li>

<li id="cite_note-8"><a href="#cite_ref-8">^</a> <cite id="CITEREFFrankShukla2021" class="citation journal cs1">Frank, Michael P.; Shukla, Karpur (June 1, 2021). <a rel="nofollow" class="external text" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8228632">"Quantum Foundations of Classical Reversible Computing"</a>. Entropy. 23 (6): 701. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2105.00065">2105.00065</a>. <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2021Entrp..23..701F">2021Entrp..23..701F</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.3390%2Fe23060701">10.3390/e23060701</a>. <a href="ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://search.worldcat.org/issn/1099-4300">1099-4300</a>. <a href="PMC_(identifier)" class="mw-redirect" title="PMC (identifier)">PMC</a> <a rel="nofollow" class="external text" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8228632">8228632</a>. <a href="PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/34206044">34206044</a>.</cite>

</li>

<li id="cite_note-9"><a href="#cite_ref-9">^</a> <cite id="CITEREFFrank2018" class="citation book cs1">Frank, Michael P. (2018). <a rel="nofollow" class="external text" href="https://link.springer.com/chapter/10.1007/978-3-319-99498-7_1">"Physical Foundations of Landauer's Principle"</a>. In Kari, Jarkko; Ulidowski, Irek (eds.). Reversible Computation. Lecture Notes in Computer Science. Vol. 11106. Cham: Springer International Publishing. pp. 3–33. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1901.10327">1901.10327</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-319-99498-7_1">10.1007/978-3-319-99498-7_1</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-319-99498-7</bdi>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:52135244">52135244</a>.</cite>

</li>

<li id="cite_note-10"><a href="#cite_ref-10">^</a> Rolf Drechsler, Robert Wille. From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. International Symposium on Multiple-Valued Logic, 2011. <a rel="nofollow" class="external free" href="http://www.informatik.uni-bremen.de/agra/doc/konf/11_ismvl_reversible_circuit_design_tutorial.pdf">http://www.informatik.uni-bremen.de/agra/doc/konf/11_ismvl_reversible_circuit_design_tutorial.pdf</a>

</li>

<li id="cite_note-11"><a href="#cite_ref-11">^</a> <cite id="CITEREFSaeediMarkov2013" class="citation journal cs1">Saeedi, Mehdi; Markov, Igor L. (1 February 2013). "Synthesis and optimization of reversible circuits—a survey". ACM Computing Surveys. 45 (2): 1–34. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1110.2574">1110.2574</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1145%2F2431211.2431220">10.1145/2431211.2431220</a>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:6302811">6302811</a>.</cite>

</li>

<li id="cite_note-12"><a href="#cite_ref-12">^</a> Rolf Drechsler and Robert Wille. Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology. International Symposium on VLSI Design and Test, 2012. <a rel="nofollow" class="external free" href="http://www.informatik.uni-bremen.de/agra/doc/konf/2012_vdat_reversible_circuits_accompl_chall.pdf">http://www.informatik.uni-bremen.de/agra/doc/konf/2012_vdat_reversible_circuits_accompl_chall.pdf</a>

</li>

<li id="cite_note-13"><a href="#cite_ref-13">^</a> <cite id="CITEREFCohenDolevRosenblit2016" class="citation journal cs1">Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (26 April 2016). <a rel="nofollow" class="external text" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4853429">"All-optical design for inherently energy-conserving reversible gates and circuits"</a>. Nature Communications. 7 (1): 11424. <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2016NatCo...711424C">2016NatCo...711424C</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1038%2Fncomms11424">10.1038/ncomms11424</a>. <a href="PMC_(identifier)" class="mw-redirect" title="PMC (identifier)">PMC</a> <a rel="nofollow" class="external text" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4853429">4853429</a>. <a href="PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/27113510">27113510</a>.</cite>

</li>

<li id="cite_note-14"><a href="#cite_ref-14">^</a> <cite id="CITEREFAngYangZhangMa2017" class="citation journal cs1">Ang, Y. S.; Yang, S. A.; Zhang, C.; Ma, Z. S.; Ang, L. K. (2017). "Valleytronics in merging Dirac cones: All-electric-controlled valley filter, valve, and universal reversible logic gate". Physical Review B. 96 (24): 245410. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1711.05906">1711.05906</a>. <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2017PhRvB..96x5410A">2017PhRvB..96x5410A</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1103%2FPhysRevB.96.245410">10.1103/PhysRevB.96.245410</a>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:51933139">51933139</a>.</cite>

</li>

<li id="cite_note-15"><a href="#cite_ref-15">^</a> <cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://scispace.com/pdf/what-do-reversible-programs-compute-uwj26erp4f.pdf">"What do reversible programs compute?"</a> (PDF). SciSpace. Retrieved April 26, 2025.</cite>

</li>

<li id="cite_note-16"><a href="#cite_ref-16">^</a> <cite id="CITEREFBarbieriKariSalo2016" class="citation book cs1">Barbieri, Sebastián; Kari, Jarkko; Salo, Ville (2016). "The Group of Reversible Turing Machines". Cellular Automata and Discrete Complex Systems. Lecture Notes in Computer Science. Vol. 9664. pp. 49–62. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1603.08715">1603.08715</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-319-39300-1_5">10.1007/978-3-319-39300-1_5</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-319-39299-8</bdi>.</cite>

</li>

<li id="cite_note-17"><a href="#cite_ref-17">^</a> <cite id="CITEREFBarbieriKariSalo2016" class="citation book cs1">Barbieri, Sebastián; Kari, Jarkko; Salo, Ville (2016). "The Group of Reversible Turing Machines". Cellular Automata and Discrete Complex Systems. Lecture Notes in Computer Science. Vol. 9664. pp. 49–62. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/1603.08715">1603.08715</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-319-39300-1_5">10.1007/978-3-319-39300-1_5</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-319-39299-8</bdi>.</cite>

</li>

<li id="cite_note-18"><a href="#cite_ref-18">^</a> <cite id="CITEREFBrueraCardonaMirandaPeralta-Salas2024" class="citation arxiv cs1">Bruera, Renzo; Cardona, Robert; Miranda, Eva; Peralta-Salas, Daniel (2024). "Topological entropy of Turing complete dynamics (With an appendix by Ville Salo)". <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2404.07288">2404.07288</a> [<a rel="nofollow" class="external text" href="https://arxiv.org/archive/math.DS">math.DS</a>].</cite>

</li>

<li id="cite_note-19"><a href="#cite_ref-19">^</a> Lecerf (Y.): <a rel="nofollow" class="external text" href="http://vadeker.net/corpus/reversible/lecerf.pdf">Logique Mathématique : Machines de Turing réversibles.</a> Comptes rendus des séances de l'académie des sciences, 257: 2597–2600, 1963.

</li>

<li id="cite_note-20"><a href="#cite_ref-20">^</a> C. H. Bennett, "<a rel="nofollow" class="external text" href="http://www.dna.caltech.edu/courses/cs191/paperscs191/bennett1973.pdf">Logical reversibility of computation</a>", IBM Journal of Research and Development, vol. 17, no. 6, pp. 525–532, 1973

</li>

<li id="cite_note-21"><a href="#cite_ref-21">^</a> <cite id="CITEREFCaretteHeunenKaarsgaardSabry2024" class="citation book cs1">Carette, Jacques; Heunen, Chris; Kaarsgaard, Robin; Sabry, Amr (2024). "Compositional Reversible Computation". Reversible Computation. Lecture Notes in Computer Science. Vol. 14680. pp. 10–27. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2405.20842">2405.20842</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-031-62076-8_2">10.1007/978-3-031-62076-8_2</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-031-62075-1</bdi>.</cite>

</li>

<li id="cite_note-22"><a href="#cite_ref-22">^</a> <cite id="CITEREFCaretteHeunenKaarsgaardSabry2024" class="citation book cs1">Carette, Jacques; Heunen, Chris; Kaarsgaard, Robin; Sabry, Amr (2024). "Compositional Reversible Computation". Reversible Computation. Lecture Notes in Computer Science. Vol. 14680. pp. 10–27. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2405.20842">2405.20842</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-031-62076-8_2">10.1007/978-3-031-62076-8_2</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-031-62075-1</bdi>.</cite>

</li>

<li id="cite_note-23"><a href="#cite_ref-23">^</a> C. H. Bennett, "<a rel="nofollow" class="external text" href="http://www.dna.caltech.edu/courses/cs191/paperscs191/bennett1973.pdf">Logical reversibility of computation</a>", IBM Journal of Research and Development, vol. 17, no. 6, pp. 525–532, 1973

</li>

<li id="cite_note-24"><a href="#cite_ref-24">^</a> <cite id="CITEREFCaretteHeunenKaarsgaardSabry2024" class="citation book cs1">Carette, Jacques; Heunen, Chris; Kaarsgaard, Robin; Sabry, Amr (2024). "Compositional Reversible Computation". Reversible Computation. Lecture Notes in Computer Science. Vol. 14680. pp. 10–27. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2405.20842">2405.20842</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-031-62076-8_2">10.1007/978-3-031-62076-8_2</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-031-62075-1</bdi>.</cite>

</li>

<li id="cite_note-25"><a href="#cite_ref-25">^</a> <cite id="CITEREFCaretteHeunenKaarsgaardSabry2024" class="citation book cs1">Carette, Jacques; Heunen, Chris; Kaarsgaard, Robin; Sabry, Amr (2024). "Compositional Reversible Computation". Reversible Computation. Lecture Notes in Computer Science. Vol. 14680. pp. 10–27. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/2405.20842">2405.20842</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-031-62076-8_2">10.1007/978-3-031-62076-8_2</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-031-62075-1</bdi>.</cite>

</li>

<li id="cite_note-26"><a href="#cite_ref-26">^</a> <cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://scispace.com/pdf/what-do-reversible-programs-compute-uwj26erp4f.pdf">"What do reversible programs compute?"</a> (PDF). SciSpace. Retrieved April 26, 2025.</cite>

</li>

<li id="cite_note-27"><a href="#cite_ref-27">^</a> <cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://scispace.com/pdf/what-do-reversible-programs-compute-uwj26erp4f.pdf">"What do reversible programs compute?"</a> (PDF). SciSpace. Retrieved April 26, 2025.</cite>

</li>

<li id="cite_note-28"><a href="#cite_ref-28">^</a> <cite id="CITEREFGenkinaPotterUlrichBourzac2025" class="citation journal cs1">Genkina, Dina; Potter, Ned; Ulrich, Lawrence; Bourzac, Katherine (2025-01-01). <a rel="nofollow" class="external text" href="https://spectrum.ieee.org/reversible-computing">"Reversible Computing Escapes the Lab: Startup Plans the First Chip Based on this Peculiar Power-Saving Scheme"</a>. <a href="IEEE_Spectrum" title="IEEE Spectrum">IEEE Spectrum</a>. 62 (1). <a href="IEEE" class="mw-redirect" title="IEEE">IEEE</a>: 32–41. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1109%2FMSPEC.2025.10829737">10.1109/MSPEC.2025.10829737</a>.</cite>

</li>

</ol></div></div>

<div class="mw-heading mw-heading2"><h2 id="Further_reading">Further reading</h2></div>

<ul><li>Frank, Michael P. (2017). <a rel="nofollow" class="external text" href="https://spectrum.ieee.org/the-future-of-computing-depends-on-making-it-reversible">"The Future of Computing Depends on Making It Reversible"</a>" (web) / "Throwing Computing Into Reverse" (print). IEEE Spectrum. 54 (9): 32–37. <a href="https://doi.org/10.1109/MSPEC.2017.8012237" class="extiw external" title="doi:10.1109/MSPEC.2017.8012237">doi:10.1109/MSPEC.2017.8012237</a>.</li>

<li><cite id="CITEREFDenningLewis2017" class="citation journal cs1">Denning, Peter; Lewis, Ted (2017). "Computers That Can Run Backwards". American Scientist. 105 (5): 270. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1511%2F2017.105.5.270">10.1511/2017.105.5.270</a>. <a href="Hdl_(identifier)" class="mw-redirect" title="Hdl (identifier)">hdl</a>:<a rel="nofollow" class="external text" href="https://hdl.handle.net/10945%2F59278">10945/59278</a>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:125446656">125446656</a>.</cite></li>

<li><cite id="CITEREFGlückYokoyama2023" class="citation journal cs1">Glück, Robert; Yokoyama, Tetsuo (2023). <a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fj.tcs.2022.06.010">"Reversible computing from a programming language perspective"</a>. Theoretical Computer Science. 953: 113429. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fj.tcs.2022.06.010">10.1016/j.tcs.2022.06.010</a>.</cite></li>

<li><cite id="CITEREFLangeMcKenzieTapp2000" class="citation journal cs1">Lange, Klaus-Jörn; McKenzie, Pierre; Tapp, Alain (April 2000). <a rel="nofollow" class="external text" href="https://doi.org/10.1006%2Fjcss.1999.1672">"Reversible Space Equals Deterministic Space"</a>. Journal of Computer and System Sciences. 60 (2): 354–367. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1006%2Fjcss.1999.1672">10.1006/jcss.1999.1672</a>.</cite></li>

<li>Perumalla K. S. (2014), Introduction to Reversible Computing, <a href="CRC_Press" title="CRC Press">CRC Press</a>.</li>

<li><cite id="CITEREFVitányi2005" class="citation book cs1">Vitányi, Paul (2005). "Time, space, and energy in reversible computing". Proceedings of the 2nd conference on Computing frontiers – CF '05. pp. 435–444. <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/cs/0504088">cs/0504088</a>. <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1145%2F1062261.1062335">10.1145/1062261.1062335</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>1595930191</bdi>. <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:5252384">5252384</a>.</cite></li></ul>

<div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://strangepaths.com/reversible-computation/2008/01/20/en/">Introductory article on reversible computing</a></li>

<li><a rel="nofollow" class="external text" href="http://www.eng.fsu.edu/~mpf/CF05/RC05.htm">First International Workshop on reversible computing</a></li>

<li>Publications of Michael P. Frank: <a rel="nofollow" class="external text" href="https://www.sandia.gov/ccr/staff/michael-p-frank/">Sandia (2015-)</a>, <a rel="nofollow" class="external text" href="https://web1.eng.famu.fsu.edu/~mpf/pubs.htm">FSU (2004-'15)</a>, <a rel="nofollow" class="external text" href="https://revcomp.info/legacy/revcomp/writing.html">UF (1999-2004)</a>, <a rel="nofollow" class="external text" href="https://revcomp.info/legacy/mpf/rc.html">MIT 1996-'99</a>).</li>

<li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20080626033214/http://revcomp.jot.com/WikiHome">Internet Archive backup</a> of the "Reversible computing community Wiki" that was administered by Frank</li>

<li><a rel="nofollow" class="external text" href="http://www.reversible-computation.org/">Reversible Computation workshop/conference series</a></li>

<li><a rel="nofollow" class="external text" href="https://cra.org/ccc/events/physics-engineering-issues-in-adiabatic-reversible-classical-computing/">CCC Workshop on Physics & Engineering Issues in Adiabatic/Reversible Classical Computing</a></li>

<li><a rel="nofollow" class="external text" href="http://www.revkit.org/">Open-source toolkit for reversible circuit design</a></li></ul>

/* start https://en.wikipedia.org/ */

.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}

/* end https://en.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r1236075235">

/* start https://en.wikipedia.org/ */

.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r1038841319">

/* start https://en.wikipedia.org/ */

.mw-parser-output .tooltip-dotted{border-bottom:1px dotted;cursor:help}

/* end https://en.wikipedia.org/ */

</style></div><div role="navigation" class="navbox authority-control" aria-labelledby="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q185410#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata1270" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q185410#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata1270" style="font-size:114%;margin:0 4em">Authority control databases </div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">National</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/sh2013002194">United States</a></li><li><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb170964356">France</a></li><li><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb170964356">BnF data</a></li><li><a rel="nofollow" class="external text" href="https://www.nli.org.il/en/authorities/987007572870905171">Israel</a></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Other</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><a rel="nofollow" class="external text" href="https://lux.collections.yale.edu/view/concept/b2b143ab-3639-401b-bf4c-a722ab03adb7">Yale LUX</a></li></ul></div></td></tr></tbody></table></div> </div><div><div class="zim-footer">

This article is issued from <a class="external text" title="Last edited on 2025-06-27" href="https://en.wikipedia.org/wiki/?title=Reversible_computing&oldid=1297673052">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.

</div>

</div></div>

</div>

</main>

</div>

</body></html>